English automated verification system: переклад на інші мови